Lor (Aisne). 28-30, rue Principale

NpgRJ_NN_1611 28..30

To examine mirror neuron abnormalities in autism, highfunctioning children with autism and matched controls underwent fMRI while imitating and observing emotional expressions. Although both groups performed the tasks equally well, children with autism showed no mirror neuron activity in the inferior frontal gyrus (pars opercularis). Notably, activity in this area was inversely related to sympto...

LOR-OSEM: Statistical PET Reconstruction from Raw LOR Histograms

Iterative statistical reconstruction methods are becoming the standard in positron emission tomography (PET). Conventional maximum-likelihood expectation-maximization (MLEM) and ordered-subsets (OSEM) algorithms act on data which has been pre-processed into corrected, evenly-spaced histograms; however, such pre-processing corrupts the Poisson statistics. Recent advances have incorporated attenu...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

The existence of a simple 3-(28, 5, 30) design

A t-(v, k, A) design is a pair (X, B), where 99 is a collection of subsets of size k (called blocks) from a set X of cardinality u such that every t-element subset of X is contained in exactly 1 blocks of B. If the blocks in GJ are not repeated, the design is said to be simple. It is easy to show that the minimum value of L for which a 3-(28,.5, A) design can possibly exist is 30. The existence...